Exception handling

Results: 495



#Item
101Logic in computer science / Design by contract / Eiffel / Formal verification / Software verification / Postcondition / KeY / Formal methods / Exception handling / Software engineering / Theoretical computer science / Computing

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2011-07-18 08:21:02
102Logic in computer science / Object-oriented programming / Procedural programming languages / Postcondition / Control flow / Eiffel / Precondition / Programming paradigms / Exception handling / Software engineering / Computing / Computer programming

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.la

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2012-09-28 08:15:15
103Human communication / Measurement / SQL / Value at risk / Exception handling / Data management / Computing / Software engineering / Error

php | tek - Chicago, May 19-23, 2008 Exceptional PHP When Good Code Goes Bad Jeff Moore

Add to Reading List

Source URL: www.procata.com

Language: English - Date: 2009-09-27 16:51:03
104Logic in computer science / Software bugs / Postcondition / Exception handling / Precondition / C / Infinite loop / Software engineering / Computer programming / Computing

php | tek - Chicago, May 16-18, 2007 Exceptional PHP When Good Code Goes Bad Jeff Moore

Add to Reading List

Source URL: www.procata.com

Language: English - Date: 2009-09-27 16:51:03
105Computer errors / SQL / Null / Error / Insert / Exception handling / Computing / SQL keywords / Data management

php | tek - Chicago, May 19-23, 2009 Exceptional PHP When Good Code Goes Bad Jeff Moore

Add to Reading List

Source URL: www.procata.com

Language: English - Date: 2009-09-27 16:51:03
106Software requirements / Control flow / Software project management / Exception handling / Postcondition / Flow / Conditional / Copyright / Use case / Software development / Software engineering / Computing

Microsoft Word - use_case_template.doc

Add to Reading List

Source URL: www.processimpact.com

Language: English - Date: 2011-11-13 12:24:14
107Computer arithmetic / IEEE standards / Macro programming languages / IEEE 754-2008 / Floating point / Ada / Directive / TeX / Exception handling / Computing / Software engineering / Computer programming

WG 14 N1839 WG14 CFP meeting minutes for the meeting of:00 AM PDT / 12:00 PM EDT: Attendees: Jim, Rajan, Fred, David, Mike, Ian New agenda items: None.

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-06-30 11:39:36
108Control flow / Functional languages / OCaml / Caml / ML / Delimited continuation / Exception handling / Thunk / Dc / Software engineering / Computing / Computer programming

Delimited Control in OCaml, Abstractly and Concretely System Description Oleg Kiselyov FNMOC

Add to Reading List

Source URL: okmij.org

Language: English - Date: 2010-01-24 22:12:18
109Science / Software agent / Exception handling / Agent-based model / Autonomous agent / JACK Intelligent Agents / Multi-agent systems / Artificial intelligence / Computing

MODELING EXCEPTION MANAGEMENT IN MULTI-AGENT SYSTEMS Eric Platon

Add to Reading List

Source URL: www.nii.ac.jp

Language: English - Date: 2007-06-20 22:41:42
110Computer arithmetic / Procedural programming languages / Control flow / Cross-platform software / IEEE standards / Exception handling / IEEE 754-2008 / Floating point / PL/I / Computing / Software engineering / Computer programming

WG14 N1841 - Alternate Exception Handling Syntax for C Notes for TSPart 5 Supplementary attributes What syntax should be used to express IEEEalternate exception handling in C? The C Floating Point group

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2014-06-30 11:39:37
UPDATE